<?php 
	/*
	$myDevice = $device[0];
    $type = $myDevice->getType();
    $user = $myDevice->getUser();
    
    $myDevice->toString();
    $user->toString();
    $type->toString();
    */
    $user = $user[0];
    $devices = $user->getDevices();
    foreach ($devices as $key => $device) {
    	echo $device->toString();
    }